Wei Wei - PDFSEARCH.IO - Document Search Engine

Wei Wei
Results: 2787

#	Item
551	Semantics for the Internet of Things: early progress and back to the future PAYAM BARNAGHI, WEI WANG, CORY HENSON AND KERRY TAYLOR1 The Internet of Things (IoT) has recently received considerable interest from both acade Add to Reading List Source URL: personal.ee.surrey.ac.uk Language: English - Date: 2012-07-31 08:26:53
552	Performance Portable Optimizations for Loops Containing Communication Operations Costin Iancu Wei Chen Add to Reading List Source URL: cscads.rice.edu Language: English - Date: 2009-04-21 16:49:45
553	ReIm & ReImInfer: Checking and Inference of Reference Immutability and Method Purity Wei Huang Ana Milanova Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2012-08-08 17:06:02 Data types Type theory Java Concurrent programming languages Object-oriented programming languages Immutable object Const Final Subtyping Scala Type qualifier Takes
554	Inferring AJ Types for Concurrent Libraries Wei Huang Ana Milanova Rensselaer Polytechnic Institute Add to Reading List Source URL: www.cs.uwm.edu Language: English - Date: 2012-10-01 23:53:10
555	Automatically Refining Partial Specifications for Program Verification ⋆ Shengchao Qin1 , Chenguang Luo2 , Wei-Ngan Chin3 , and Guanhua He1,2 1 Teesside University Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2013-07-17 06:32:08
556	QIP, Jan) @ Singapore The 2D AKLT state is universal for measurement-based quantum computation Tzu-Chieh Wei, Ian Affleck, Robert Raussendorf Add to Reading List Source URL: qip2011.quantumlah.org Language: English - Date: 2011-01-10 04:44:51
557	LIGA der Freien Wohlfahrtspflege im Land Sachsen-Anhalt e.V. Az.: 50.30/wei/noP R E S S E M I T T E I L U N G Add to Reading List Source URL: www.liga-fw-lsa.de Language: German - Date: 2012-06-27 04:15:12
558	Precise Power Characterization of Modern Android Devices Wei Lin, Joshua Wise September 23, 2010 Abstract We propose to perform a novel precise characterization of the power performance of modern Android cell phones. Fin Add to Reading List Source URL: unrevoked.com Language: English - Date: 2010-09-23 00:44:33
559	Signpost: Scalable MU-MIMO Signaling with Zero CSI Feedback Anfu Zhou∗† , Teng Wei† , Xinyu Zhang† , Min Liu∗ and Zhongcheng Li∗ ∗ Institute of Computing Technology, Chinese Academy of Sciences, † Univer Add to Reading List Source URL: xyzhang.ece.wisc.edu Language: English - Date: 2015-04-19 10:41:17
560	Inference and Checking of Object Ownership Wei Huang1 , Werner Dietl2 , Ana Milanova1 , and Michael D. Ernst2 1 Rensselaer Polytechnic Institute Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2013-11-07 13:53:07 Software engineering Type theory Programming language theory Computing Subtyping Type system System F HindleyMilner type system ML Type inference Typeof Is-a

UPDATE